Frame problem

Results: 91



#Item
11Alternative energy / Solar energy / Pasteurization / Solar water disinfection / Ultraviolet / National Renewable Energy Laboratory / Energy / Energy conversion / Technology

Weekly Highlight Solar Water Pasteurization System Water treatment in the developing world is a massive, complex problem. Staff investigated solar water pasteurization in the FY98 time frame as a potential niche market f

Add to Reading List

Source URL: www.solarcleanwatersolution.com

Language: English - Date: 2015-03-13 19:20:18
12Ansys / Vehicle Identification Number

University of Alberta ANSYS Tutorials - www.mece.ualberta.ca/tutorials/ansys/CL/CBT/Bike/Print.html 3D Space Frame Example Problem Description The problem to be modeled in this example is a simple bicycle frame shown in

Add to Reading List

Source URL: www.mece.ualberta.ca

Language: English - Date: 2003-06-12 18:37:56
13Mathematics / Knowledge / Knowledge representation / Artificial intelligence / Epistemology / Frame problem / Binary decision diagram / Situation calculus / Fluent / Science / Logic programming / Branches of philosophy

Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu

Add to Reading List

Source URL: i.stanford.edu

Language: English - Date: 2010-08-28 23:41:03
14Logical syntax / Metalogic / Model theory / Formal languages / First-order logic / Situation calculus / Frame problem / Function / Entailment / Logic / Mathematics / Logic programming

Journal of Intelligent Information Systems, 19:2, 231–259, 2002 c 2002 Kluwer Academic Publishers. Manufactured in The Netherlands.  Hypothetical Temporal Reasoning in Databases∗ MARCELO ARENAS†

Add to Reading List

Source URL: web.ing.puc.cl

Language: English - Date: 2013-04-26 05:57:02
15Mathematics / Situation calculus / Theoretical computer science / Formal languages / STRIPS / Planning Domain Definition Language / Frame problem / Combinatory logic / Action language / Artificial intelligence / Automated planning and scheduling / Logic programming

Authors’ preprint. The final publication is available at www.springerlink.com. (http://www.springerlink.com/content/w01w784704364806/) P LATAS – Integrating Planning and the Action Language Golog Jens Claßen · Gabr

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2013-01-07 17:29:29
16Systems science / Problem frames approach / Systems analysis / Software design / Decomposition / Routing / Router / Frame / Problem domain / Systems engineering / Systems theory / Software development

Problem Decomposition for Reuse Daniel Jackson Michael Jackson School of Computer Science MAJ Consulting Ltd Carnegie Mellon University

Add to Reading List

Source URL: mcs.open.ac.uk

Language: English - Date: 2002-07-07 08:26:04
17Systems theory / Knowledge representation / Systems science / Science / Domain-specific language / Frame / Moving frame / Problem frames approach / Systems analysis / Systems engineering

South African Computer Journal 22; Special Issue on WOFACS’98, pp47-60, 1999 Problem Analysis Using Small Problem Frames M. A. Jackson Independent Consultant 101 Hamilton Terrace, London, England,

Add to Reading List

Source URL: mcs.open.ac.uk

Language: English - Date: 2002-05-03 13:50:42
18Modal logic / Artificial intelligence / Knowledge representation / Kripke semantics / Frame problem / Entailment / Epistemic modal logic / Common knowledge / Stable model semantics / Logic / Philosophical logic / Logic programming

Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli

Add to Reading List

Source URL: myweb.ttu.edu

Language: English - Date: 2015-05-24 18:07:51
19Problem frames approach / Systems analysis / Domain / X Window System / Frame / Moving frame / Requirement / Heuristic / Control theory / Software / Software requirements / Systems engineering

Proceedings of the IEEE Second International Symposium on Requirements Engineering, pp2-8; ACM Press, Problems & Requirements Michael Jackson 101 Hamilton Terrace, London NW8 9QX England MAJ Consulting Ltd

Add to Reading List

Source URL: mcs.open.ac.uk

Language: English - Date: 2000-12-04 15:26:14
20Science / Systems theory / Systems science / Knowledge representation / Frame language / Moving frame / Diagram / Systems modeling / Frame / Problem frames approach / Systems analysis / Systems engineering

Software and Systems Modeling Volume 4 Number 2, pages, MayProblem frame semantics for software development Jon G. Hall Lucia Rapanotti Michael Jackson The Open University Milton Keynes

Add to Reading List

Source URL: mcs.open.ac.uk

Language: English - Date: 2005-06-13 13:20:02
UPDATE